1. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving.
رده :
E-Book
,
2. A computational logic
پدیدآورنده : Boyer, Robert S., Robert S. Boyer and J Strother Moore
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
3. A computational logic
پدیدآورنده : / Robert S. Boyer and J. Strother Moore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
4. A computational logic
پدیدآورنده : Boyer, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
5. A computational logic handbook
پدیدآورنده : BOYER,ROBERT S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
6. Accumulation inflation, crises
پدیدآورنده : Robert Boyer, Jacques Mistral
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Inflation (Finance),Inflation (Finance) -- France
رده :
HG
229
.
B67
1978
7. Automated reasoning : essays in honor of Woody Bledsoe
پدیدآورنده : edited by Robert S. Boyer
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
A92
1991
8. Between imitation and innovation: the transfer and hybridization of productive models in the international automobile industry
پدیدآورنده : / edited by Robert Boyer ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Automobile industry and trade,-- International cooperation
رده :
338
.
47629
222
B562
1998
9. Contemporary capitalism: the embeddedness of institutions
پدیدآورنده : Edited by J. Rogers Hollingsworth, Robert Boyer
موضوع : Capitalism,Institutional economics,Organization
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Diversity and transformations of Asian capitalisms
پدیدآورنده : / edited by Robert Boyer, Hiroyasy Uemura and Akinori Isogai.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : سرمایه‌داری,رشد اقتصادی, -- چین, -- آسیا,آسیا, -- اوضاع اقتصادی
رده :
HC
۴۱۲
/
د
۲ ۱۳۹۰
11. Evolving diversity and interdependence of capitalisms :
پدیدآورنده : Robert Boyer [and 3 others] editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : International economic integration.,Regionalism (International organization),BUSINESS & ECONOMICS-- International-- Economics.,BUSINESS & ECONOMICS-- International-- General.,International economic integration.,International economic relations.,Regionalism (International organization),Asia, Economic integration.,Asia, Foreign economic relations, Europe.,Europe, Foreign economic relations, Asia.,Asia.,Europe., 0, 0, 0, 7, 7
رده :
HC241
12. Japanese Capitalism In Crisis : A Regulationist Interpretation
پدیدآورنده : \ edited by Robert Boyer and Toshio Yamada
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Japan -- Economic conditions -- 1989-, Japan -- Economic policy -- 1989-, ژاپن -- اوضاع اقتصادی -- ۱۹۸۹م. -, ژاپن -- سیاست اقتصادی -- ۱۹۸۹م.
رده :
HC462
,.
95
.
B69
13. July 2, 2011. Proceedings-Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29
پدیدآورنده : / Youssef Brants, Edwin Robert Hancock (eds.)-Ochoa, Cherif Ben-s Ariel CarrascoهTrinidad, Jes-nezک Francisco MartفKim L. Boyer, Dijia Wu (auth.), Jos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
14. La flexicuritae danoise
پدیدآورنده : / Robert Boyer
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع :
رده :
MLCS
,
2008/40609
(
H
)
15. La flexicurité danoise :
پدیدآورنده : Robert Boyer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Sécurité de l'emploi-- Danemark.,Travail, Marché du-- Danemark.,Main-d'oeuvre-- Planification-- Danemark-- 1990- ...,Politique de l'emploi-- France-- 1990- ...,Sécurité de l'emploi-- Danemark-- 1990- ...
16. Les Figures de l'irreversibilite en economie
پدیدآورنده : Robert Boyer, Bernard Chavance, Olivier Godard
کتابخانه: کتابخانه دانشکده مطالعات جهان دانشگاه تهران (تهران)
موضوع : Economics--Congresses.
رده :
FRA
HB
21
F54
1991
17. Regulation theory :
پدیدآورنده : edited by Robert Boyer and Yves Saillard ; translated by Carolyn Shread.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Capitalism.,Economic policy.,Equilibrium (Economics),83.32 economic policy.,Capitalism.,Capitalismo.,Crise econômica.,Deregulierung,Economia (regulação),Economic policy.,Economische crises.,Economische politiek.,Equilíbrio econômico.,Equilibrium (Economics),Kapitalisme.,Ökonomische Theorie der Politik,Política econômica.,Regulierung,Theorie
رده :
HD87
.
T44513
2002
18. Regulation theory: the state of the art
پدیدآورنده : edited by Robert Boyer and Yves Saillard Translated by Carolyn Shread
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع : ، Economic Policy,، Capitalism,، Equilibrium )Economics(
رده :
HD
87
.
T4R4
2001
19. Regulation theory: the state of the art=theorie de la regulation: L' etat des savoirs
پدیدآورنده : edited by Robert Boyer and Yves Saillard; translated by Carolyn Shread
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Economic policy,Capitalism,Equilibrium (Economics)
رده :
HD
87
.
T44
2002
20. Repeat Photography
پدیدآورنده : \ edited by Robert H. Webb, Diane E. Boyer, and Raymond M. Turner.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Landscape changes -- Research.,Repeat photography.,منظر -- تغییر -- تحقیق
رده :
E-Book
,
